-
1 line-negation index
Большой англо-русский и русско-английский словарь > line-negation index
-
2 line-negation index
Математика: индекс отрицания ребра -
3 line-negation index
т. граф. -
4 index
1) индекс, указатель || вносить в указатель; снабжать указателем2) индекс, показатель || индексировать3) коэффициент4) метка•- index of a subgroup - index of critical point - index of multiple determination - reduced ramification index -
5 индекс отрицания ребра
Большой англо-русский и русско-английский словарь > индекс отрицания ребра
-
6 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
ZIONISM — This article is arranged according to the following outline: the word and its meaning forerunners ḤIBBAT ZION ROOTS OF ḤIBBAT ZION background to the emergence of the movement the beginnings of the movement PINSKER S AUTOEMANCIPATION settlement… … Encyclopedia of Judaism
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
JavaScript syntax — This article is part of the JavaScript series. JavaScript JavaScript syntax JavaScript topics This box: view · … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Congressional Debate — (also known as Student Congress, Legislative Debate) is a form of high school debate in the United States and Pakistan. The National Forensic League (NFL), National Catholic Forensic League (NCFL), many national debate tournaments, State Forensic … Wikipedia
Thue–Morse sequence — See also: Prouhet–Thue–Morse constant 5 logical matrices that give the beginning of the T. M. sequence, when read line by line Either in set A (vertical index) … Wikipedia
Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
